minor js tweak; would not have been a blocker issue