Fixes to the docs.