Fixed some mistakes in the docs.