closes #1317