Fix stupid mistake leading to crash at end  of play.