Translations + prettyprint tuneup