bugfix in natural_sorting