Tiny fix in the docs.