Minor correction in the documentation