jux.lua: small fix