BoardManager: improve comment.