more dox tweaks
(#401)