Fix javascript compilation error