Minor javascript change