Fix copy-paste comment that was out-of-place.