Made some minor updates to the docs