Fix some errors in the docs.