fixed JavaScript compression problem