* xdisp.c (note_mode_line_or_margin_highlight): Fix last change.