bugfix arising from different naming of IRFs