Fix from last: Always define the default highlights