docs corrections