Fixes #797 highlight current section