Minor doc clean-up