Minor: change an instance of {} to [] in Lua