Some rewriting.