Fix accidentally included silly bug in highlighted display.