Small documentation clean-up