Fix a type error that crept into r202313.