minor bugfix in normalization