Improve a bit the documentation