fixed silly dox issues
(#401)