Small, untested bugfix

Sorry this has my tictactoe player in it too -- I'm not sure how to make a focused pull request without starting over and git rebasing into a branch or something? Anyway, there's a one-line change in terminal.py.