small js tweak