The rewrite constructor should actually rewrite.