Fix printing of normalization