closes #2519