Small modification in the documentation