Fix error in the docs.