fix minor JS style