better logging of known query terminations