Fix a copy-pasta in r214573