off by 1 in the prettyprint