Oh, I suppose now that you mention it, the cursor held onto the "highlight" mode a bit longer than it probably should have, but that was fairly minor to me (I imagine that would throw other people off *terribly*, so might be worth a fix later on!)
