Fix #11421

Closes #11421.  A pretty trivial fix.