Added Extended option to the header; should print the right number of clauses