diff --git a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c
index f4035b3d..f305e5cd 100644
--- a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c
+++ b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c
@@ -84,9 +84,9 @@ llhttp_errno_t llhttp_execute( llhttp_t * parser,
      * removing that from CBMC proof execution, the body has to be set here. */
     size_t bodyOffset;
 
-    if( pParsingContext->pResponse->bufferLen == 0 )
+    if( pParsingContext->pResponse->bufferLen == 0U )
     {
-        bodyOffset = 0;
+        bodyOffset = 0U;
     }
     else
     {