Fix big/lua.result