fix for #13747