cosmetic change to P08.hs