Minor JS syntax fix