Fix a couple of bugs in seen_up_to