Fix a comment issue with the last merge.