[prettyPrint] Us -> ms