minor js tweak