Some documentation updates by Tarzeau.