Update highlight to 3.15