Fixing mistakes in documentation