A few docs corrections.