Highlighting works as expected