Fixing cnf-clause outputting 2 headers instead of one

Thanks to Fahiem Bacchus for this bugreport