box

Update comment

Update the message of a comment.

GitHub