Fix handling of section link highlighting