Minor changes in cnf printout