typos
(#618)
fix old dox
(#618)