Remove prettify, seems to be unused

Change-Id: I5f712aab59a20cafdf8ddc409e07535215b07c0c