minor JS fix