some docs fixes