prettyprint: fix off-by-one, thanks @adjvondrak!