fix a bug: javascript for in