PrettyPrinter: Remove pretty printing without indentation.