Some more fixes in the docs.