Minor documentation touch-ups