tweaks to doc-gen