more documentation clean-up