Doc: fixing a typo in the documentation