Fix test_tls13_encryption()