Update PE2.hs