updated syntax in lua-epnf