diff --git a/servers/mfs/device.c b/servers/mfs/device.c
index 7072bbf45..03dbb3f92 100644
--- a/servers/mfs/device.c
+++ b/servers/mfs/device.c
@@ -240,7 +240,7 @@ int flags;			/* special flags, like O_NONBLOCK */
   /* RECOVERY:
    * - send back dead driver number
    * - VFS unmaps it, waits for new driver
-   * - VFS sends the new dirver endp for the FS proc and the request again 
+   * - VFS sends the new driver endp for the FS proc and the request again 
    */
   if (r != OK) {
       if (r == EDEADSRCDST || r == EDSTDIED || r == ESRCDIED) {
diff --git a/servers/vfs/device.c b/servers/vfs/device.c
index 95593ed6b..1f0f94836 100644
--- a/servers/vfs/device.c
+++ b/servers/vfs/device.c
@@ -903,7 +903,7 @@ PUBLIC void dev_up(int maj)
         }
 
         /* Send new driver endpoint */
-        printf("VFS: sending new dirver for dev: %d, endpoint: %d, FS_e: %d\n", 
+        printf("VFS: sending new driver for dev: %d, endpoint: %d, FS_e: %d\n", 
                 vmp->m_dev, new_driver_e, vmp->m_fs_e);
         
         if (OK != req_newdriver(vmp->m_fs_e, vmp->m_dev, new_driver_e))