diff --git a/examples/stm32/stm32h573i-dk-make-baremetal-builtin/hal.h b/examples/stm32/stm32h573i-dk-make-baremetal-builtin/hal.h
index 386b84ddc0..e39a717b43 100644
--- a/examples/stm32/stm32h573i-dk-make-baremetal-builtin/hal.h
+++ b/examples/stm32/stm32h573i-dk-make-baremetal-builtin/hal.h
@@ -27,6 +27,10 @@
 
 #define LED LED2  // Use orange LED for blinking
 
+#ifndef UART_DEBUG
+#define UART_DEBUG USART1
+#endif
+
 // System clock (11.4, Figure 48; 11.4.5, Figure 51; 11.4.8
 // CPU_FREQUENCY <= 250 MHz; (SYS_FREQUENCY / HPRE) ; hclk = CPU_FREQUENCY
 // APB clocks <= 250 MHz. Configure flash latency (WS) in accordance to hclk
@@ -92,10 +96,6 @@ static inline void gpio_output(uint16_t pin) {
             GPIO_PULL_NONE, 0);
 }
 
-#ifndef UART_DEBUG
-#define UART_DEBUG USART3
-#endif
-
 static inline bool uart_init(USART_TypeDef *uart, unsigned long baud) {
   uint8_t af = 7;           // Alternate function
   uint16_t rx = 0, tx = 0;  // pins
diff --git a/examples/stm32/stm32h573i-dk-make-baremetal-builtin/main.c b/examples/stm32/stm32h573i-dk-make-baremetal-builtin/main.c
index 93e5a2d17a..b60d1ce9ca 100644
--- a/examples/stm32/stm32h573i-dk-make-baremetal-builtin/main.c
+++ b/examples/stm32/stm32h573i-dk-make-baremetal-builtin/main.c
@@ -77,7 +77,7 @@ int main(void) {
   }
 
   MG_INFO(("Initialising application..."));
-  //web_init(&mgr);
+  web_init(&mgr);
 
   MG_INFO(("Starting event loop"));
   for (;;) {