Fix small issue in documentation