closes #738