including missed indentFold.js