closes #8622