closes #3618