bugs fixed at normalizeImpl