minor fix in the js, eclipse was complaining about it