Actually fix section label target highlighting