docs fixes (closes #822)