Minor cleanup in the query-times scanner.