closes #2538