Fixed some mistakes in documentation