Fix for bug in nor()