diff --git a/examples/pres_5/bob.c b/examples/pres_5/bob.c
index bfb72d1a090112190f48615cf1c4c455a3014e1e..d652c1884f39845c397ef8e490652f5d921c57ab 100644
--- a/examples/pres_5/bob.c
+++ b/examples/pres_5/bob.c
@@ -35,7 +35,7 @@ int main(int argc, char** argv) {
 
 		size_t msg_len = 0;
 		const char * msg_ptr = connector_gotten_bytes(c, ports[3], &msg_len);
-		printf("Got msg `%.*s`\n", msg_len, msg_ptr);
+		printf("Got msg `%.*s`\n", (int) msg_len, msg_ptr);
 	}
 	
 	printf("Exiting\n");
@@ -44,4 +44,4 @@ int main(int argc, char** argv) {
 	free(pdl);
 	sleep(1.0);
 	return 0;
-}
\ No newline at end of file
+}