Fix formatting of 0151, 0152, and 0153 -- woops