Minor JS fix.