more javascript lint related adjustments