closes #4255