two minor bugs related to folding in the jsscope report