Some docs corrections