s3: Slightly simplify print_kdc_line()