Fix error in documentation