Minor pretty print additions