javascript: fix compilation error