tag filtering and highlighting works