update of Pi.hs