diff --git a/ADP/Fusion/Multi/Empty.hs b/ADP/Fusion/Multi/Empty.hs
--- a/ADP/Fusion/Multi/Empty.hs
+++ b/ADP/Fusion/Multi/Empty.hs
@@ -26,6 +26,7 @@
   ) => TermElm m (Term ts Empty) (is:.PointL) where
   termStream (ts:!Empty) (io:.Outer) (is:.ij@(PointL(i:.j))) =
     S.map (\(zs:!:(zix:.kl):!:zis:!:e) -> (zs:!:zix:!:(zis:.kl):!:(e:.())))
+    . S.filter (const (i==j))
     . termStream ts io is
     . S.map (\(zs:!:zix:!:(zis:.kl)) -> (zs:!:(zix:.kl):!:zis))
   {-# INLINE termStream #-}
diff --git a/ADPfusion.cabal b/ADPfusion.cabal
--- a/ADPfusion.cabal
+++ b/ADPfusion.cabal
@@ -1,5 +1,5 @@
 name:           ADPfusion
-version:        0.2.0.3
+version:        0.2.0.4
 author:         Christian Hoener zu Siederdissen, 2011-2013
 copyright:      Christian Hoener zu Siederdissen, 2011-2013
 homepage:       http://www.tbi.univie.ac.at/~choener/adpfusion