hopefully fixed highlight problem