diff --git a/bin/web b/bin/web
index e7db04de..a7615185 100755
--- a/bin/web
+++ b/bin/web
@@ -25,7 +25,9 @@ else
 	do
 		if [ -f "$i" ]
 		then
-			i=file://`pwd`/$i
+			p=`pwd`
+			i=`cleanname -d $p $i`
+			i=file://$i
 		fi
 		plumb1 $i
 	done