Minor changes for Lua API