Small change to docs

Just a little polishing.