Fix small issue in the documentation