Minor pretty printing cleanup