Update highlight to 3.13