*.js: some minor cosmetic