fix mistakes in docs