Improved a bit the documentation