Documentation: little update