Small change to docs.