minor cleanup to datalog examples