p3 in Pset4 is slightly updated