minor edits to dox
(#401)