closes #742