Micro correction in the documentation