Fixed a few mistakes in docs