Little improvement of the documentation...