Fixing a typo in latest #include cleanup for wump_game.pvvs.