closes #9555
fixes #9555