small mixed rewrite