little tiny fixes in the textquery solver