Slightly tidy the docs.