MS-Windows followup to bugfix #13387.