Tiny fix for URL highlight