Fix bug in TwoPartyServer that fixes #22