No highlighting inside conque_term