Minor fixes + isGameFinished()