Datalog spacing fixed