is pretty printing needed?