Minor: small fix to js