documentation clean-up
(#420)