Fixing documentation, from Agostino Sarubbo