fixes #13243

closes #13243