correction: make DotNet query coloring less greedy