removed cruft, fixed ptset.ml