#59: Fixed some mistakes in docs.