closes #4257