minor javascript change