Fixing really dumb bug with unique-just-seen