Added undo function for human_player.