jux.lua: fix