cosmetic changes to P03.hs