Minor fixes to doc