Header tweaks - prefetch.
Highlight fix.