minor formatting change in js