Minor javascript fix