Cosmetic printfs in clover_leaf.cpp