Tiny fix on the docs.