Fixed some mistakes in a couple of the docs.