Version 3.1.2: * improve highlight performance