some bad highlighting