closes #788