diff --git a/HOU.hs b/HOU.hs
--- a/HOU.hs
+++ b/HOU.hs
@@ -472,7 +472,7 @@
                   getVal = snd . fst . snd
                   
                   inter [] [] = throwError "no more options"
-                  inter cg [] = appendErr "" $ F.asum $ reverse cg
+                  inter cg [] = F.asum $ reverse cg
                   inter cg ((nm,((sequ,_),targ)):l) = do
                     res <- Just <$> ls (nm,targ)
                     if sequ 
diff --git a/caledon.cabal b/caledon.cabal
--- a/caledon.cabal
+++ b/caledon.cabal
@@ -1,6 +1,6 @@
 Name: caledon
 
-Version: 2.1.0.0
+Version: 2.1.1.0
 
 Description:         a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities. 
 
diff --git a/examples/.DS_Store b/examples/.DS_Store
deleted file mode 100644
Binary files a/examples/.DS_Store and /dev/null differ
diff --git a/examples/._.DS_Store b/examples/._.DS_Store
deleted file mode 100644
Binary files a/examples/._.DS_Store and /dev/null differ