fixes #13243