closes #4251