diff --git a/examples/coap-server/src/main.rs b/examples/coap-server/src/main.rs
index 6eee95079..38a817f1a 100644
--- a/examples/coap-server/src/main.rs
+++ b/examples/coap-server/src/main.rs
@@ -26,8 +26,8 @@ async fn coap_run() {
 
 // So far, this is necessary boilerplate; see ../../README.md#networking for details
 #[ariel_os::config(network)]
-fn network_config() -> embassy_net::Config {
-    use embassy_net::Ipv4Address;
+fn network_config() -> ariel_os::reexports::embassy_net::Config {
+    use ariel_os::reexports::embassy_net::{self, Ipv4Address};
 
     embassy_net::Config::ipv4_static(embassy_net::StaticConfigV4 {
         address: embassy_net::Ipv4Cidr::new(Ipv4Address::new(10, 42, 0, 61), 24),