Minor JS bug