Fix documentation error

There was an error in the documentation