Small rewrites