Fix a comment that accidentally was documentation.