small js source change