small tweaks to doc