Another minor JS fix