Minor javascript fix...