Fix: a minor bug for compiling to javascript.