Now terminates game (this is a bugfix)