Small modification to the documentation