Fix copy-paste error in git 17085447