Prevent warnings in highlightToken