cosmetic change to P05.hs