Some small changes from Stephanes comments on the doc