Updates sectionref repair method to include hard-coded modules [#1115 state:resolved]