minor docs fixes