closes #9555