Bugfix for NullPointerE in sectionlatexmapper