Fix error in an inline comment.