diff --git a/src/GF/CF/CanonToCF.hs b/src/GF/CF/CanonToCF.hs
index 44cec0fbb..6ce443351 100644
--- a/src/GF/CF/CanonToCF.hs
+++ b/src/GF/CF/CanonToCF.hs
@@ -177,6 +177,7 @@ term2CFItems m t = errIn "forming cf items" $ case t of
 
     headProj r ls = case r of
       P r0 l0 -> headProj r0 (l0:ls)
+      S r0 _  -> headProj r0 ls
       _ -> (r,ls)
     cIQ c = if isPredefCat c then CIQ cPredefAbs c else CIQ m c
 
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index cbc69e2f6..c46c51af7 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -266,7 +266,7 @@ checkIfLinType st typ0 = do
 
  where
    checkInh (label,typ) = checkIfParType st typ
-   checkLin (label,typ) = checkIfStrType st typ
+   checkLin (label,typ) = return () ---- checkIfStrType st typ
 
 
 computeLType :: SourceGrammar -> Type -> Check Type