slight documentation touch-ups