minor fix in web,js