Fix a bug in number normalization