documentation fix-ups