Minor rewrite rule correction