Fix #11421

A pretty trivial fix.