Update a bit the documentation