Ensure that length columns can be properly sorted

This fixes the case where entries sorted by source length look like
this:
1
10
2
instead of like this:
1
2
10