Eliminated a warning in print_cuts_header() in GCC 4.8.