documentation fixes suggested by Jean-Baptiste Mestelan
more documentation fixes