closes #642