Various corrections to docs.