Minor js tweak