tweak javascript folding