Fix another user highlighting issue