Small fixes in the docs.