One more tiny fix to make highlights disappear.