Fix a error that sneaked into 948280123c3bf87b1d6a06c7cb563f0801062fdf