Working around JS compression issue