Very usefull fix for typo in the documentation :-)