A few more docs fixes