more dox tweaks
(#352)