closes #2020