Minor corrections in the PsModule