Little refactor in OutFormat.java