FIX: bug in pset.plus