Fixes to doc