Followup fix for #11006 (spotted by Nyall - thanks)