Fix one more typo in a doxygen comment.