Minute changes to docs.