updating a bit the documentation