JSLInt fix