(clear_mouse_face=): Improve a comment.