fix encoding of Lua example