parent set notation revisited, fixed #2