Minor docs clean-up.