closes #735