Tweak comment.
Simplify rewrite rules slightly.