Documentation touch-ups