[minor] merely a comment