Documentation inaccuracy in IrreducibleModules

[BrauerSuzuki]

The documentation of IrreducibleModules claims to return a list of irreducible modules of dimension dim (an input parameter). However, the list contains all irreducible modules of dimension at most dim.