Some minor docs fixes