Minor javascript modification