Minor touch-up to documentation