fix verbose datalog