diff --git a/transformations/PassTest.hs b/transformations/PassTest.hs
index 15872ed..d4949f1 100644
--- a/transformations/PassTest.hs
+++ b/transformations/PassTest.hs
@@ -519,7 +519,7 @@ testTransformProtocolInput :: Test
 testTransformProtocolInput = TestList
   [
     TestCase $ testPass "testTransformProtocolInput0"
-      (A.Seq emptyMeta $ A.Several emptyMeta [onlySingle ii0])
+      (seqItems [ii0])
       (transformProtocolInput $ seqItems [ii0])
       (return ())
    ,TestCase $ testPass "testTransformProtocolInput1"
diff --git a/transformations/SimplifyComms.hs b/transformations/SimplifyComms.hs
index 0b30189..e07d332 100644
--- a/transformations/SimplifyComms.hs
+++ b/transformations/SimplifyComms.hs
@@ -219,7 +219,7 @@ transformProtocolInput = doGeneric `extM` doProcess
     doGeneric = makeGeneric transformProtocolInput
     
     doProcess :: A.Process -> PassM A.Process
-    doProcess (A.Input m v (A.InputSimple m' iis))
+    doProcess (A.Input m v (A.InputSimple m' iis@(_:_:_)))
       = return $ A.Seq m $ A.Several m $
           map (A.Only m . A.Input m v . A.InputSimple m' . singleton) iis
     doProcess p = doGeneric p