Minor changes to Lua API