Rewrite of normalizer rules to apply recursively
Fix comment