diff --git a/src/Enclave/external/tinyhttp/header.c b/src/Enclave/external/tinyhttp/header.c
index cda9eb54..93e7c2e3 100644
--- a/src/Enclave/external/tinyhttp/header.c
+++ b/src/Enclave/external/tinyhttp/header.c
@@ -34,7 +34,8 @@ static unsigned char http_header_state[] = {
     0xC1, 0xC1,    4, 0xC1, 0xC1, 0xC1, 0xC1, 0xC1, /* state 3: HTTP version newline */
     0x84, 0xC1, 0xC0,    5, 0xC1, 0xC1,    6, 0xC1, /* state 4: Start of header field */
     0xC1, 0xC1, 0xC0, 0xC1, 0xC1, 0xC1, 0xC1, 0xC1, /* state 5: Last CR before end of header */
-    0x87,    6, 0xC1, 0xC1,    6, 0x87, 0x87, 0xC1, /* state 6: leading whitespace before header value */
+    0x87,    6, 0xC1, 0x87,    6, 0x87, 0x87, 0xC1, /* state 6: leading whitespace before header value */
+                    //0xC1 (in case the header content is empty, e.g., "pragma:\r\n")
     0x87, 0x87, 0xC4,   10, 0x87, 0x88, 0x87, 0xC1, /* state 7: header field value */
     0x87, 0x88,    6,    9, 0x88, 0x88, 0x87, 0xC1, /* state 8: Split value field value */
     0xC1, 0xC1,    6, 0xC1, 0xC1, 0xC1, 0xC1, 0xC1, /* state 9: CR after split value field */