Bug fix in IP:normalize(...)