removed some superfluous rewrite rules