cosmetic changes to ../hs/P03.hs