fix for #797 highlight current section