Small fixes to doc