Fix a copy-paste error that put a comment in the wrong place.