1 files changed, 2 insertions, 1 deletions

diff --git a/fs/coda/inode.c b/fs/coda/inode.c
index 23f6ebd08e80..321f56e487cb 100644
--- a/fs/coda/inode.c
+++ b/fs/coda/inode.c
@@ -27,7 +27,7 @@
 #include <linux/vmalloc.h>
 
 #include <linux/coda.h>
-#include <linux/coda_psdev.h>
+#include "coda_psdev.h"
 #include "coda_linux.h"
 #include "coda_cache.h"
 
@@ -236,6 +236,7 @@ static void coda_put_super(struct super_block *sb)
         vcp->vc_sb = NULL;
         sb->s_fs_info = NULL;
         mutex_unlock(&vcp->vc_mutex);
+        mutex_destroy(&vcp->vc_mutex);
 
         pr_info("Bye bye.\n");
 }