Committing changes to prettify.cc.