fix javascript bug in js gzip article