Make convert_r3 pretty