minor datalog update