NumJS: fix bug in backend dispatcher