closes #719