Fixed an issue in the documentation