added normalization for geq