A rogue message appears when encoding because of this line:

System.err.println("Running verbatim");