fixed a bug in the docs.