Very minor documentation patches