closes #3433