minor dox modification
(#524)