tweak dox
(#365)