board_play_random(): Simplify a bit