Fix a comment that was out of date.