The rewrite rule is unnecessary