Some docs polishing