fix mistakes in documentation