diff --git a/servers/inet/inet.c b/servers/inet/inet.c
index 7f32c41ad..a9278b23d 100644
--- a/servers/inet/inet.c
+++ b/servers/inet/inet.c
@@ -292,7 +292,7 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
 	nw_init();
 
 	/* Subscribe to driver events for network drivers. */
-	r = ds_subscribe("drv\.net\..*", DSF_INITIAL | DSF_OVERWRITE);
+	r = ds_subscribe("drv\\.net\\..*", DSF_INITIAL | DSF_OVERWRITE);
 	if(r != OK) {
 		ip_panic(("inet: can't subscribe to driver events"));
 	}
diff --git a/servers/vfs/main.c b/servers/vfs/main.c
index 64a9a47ec..5b5f915d4 100644
--- a/servers/vfs/main.c
+++ b/servers/vfs/main.c
@@ -305,7 +305,7 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
   system_hz = sys_hz();
 
   /* Subscribe to driver events for VFS drivers. */
-  s = ds_subscribe("drv\.vfs\..*", DSF_INITIAL | DSF_OVERWRITE);
+  s = ds_subscribe("drv\\.vfs\\..*", DSF_INITIAL | DSF_OVERWRITE);
   if(s != OK) {
   	panic("vfs: can't subscribe to driver events");
   }