Some docs minutiae