minor docs corrections