Misc docs fixes