Fix mismatch in rewrite symbols.