corredted some details and newlines in codefolding problem