Undo workaround, since the genreflex bug is now fixed
Merge pull request #1190 from wmtan/UndoObsoleteWorkaround

Undo workaround, since the genreflex bug is now fixed