Some other minor docs fixes