Generate whitespace more sanely in print_flags().