small docs corrections