Fix an error in the docs