Fixed a couple of mistakes in the docs.