specs and docs fixes