minor cleanup of print_free_cores