rename some stuff in pretty print