Fix an error in the docs...