Unimportant fix: removed a duplicated line at global.lua.