tweaks to doc/