diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs
index 2e0cdb991..5b1801ea4 100644
--- a/src/GF/Command/Commands.hs
+++ b/src/GF/Command/Commands.hs
@@ -416,7 +416,9 @@ allCommands cod env@(pgf, mos) = Map.fromList [
        "l (EAdd 3 4) | ps -code         -- linearize code-like output",
        "ps -lexer=code | p -cat=Exp     -- parse code-like input",
        "gr -cat=QCl | l | ps -bind      -- linearization output from LangFin", 
-       "ps -to_devanagari \"A-p\"         -- show Devanagari in UTF8 terminal"
+       "ps -to_devanagari \"A-p\"         -- show Devanagari in UTF8 terminal",
+       "rf -file=Hin.gf | ps -env=quotes -to_devanagari -- convert translit to UTF8",
+       "rf -file=Ara.gf | ps -from_utf8 -env=quotes -from_arabic -- convert UTF8 to transliteration"
        ],
      exec = \opts -> 
                let (os,fs) = optsAndFlags opts in
diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs
index e576dc12e..ba3139506 100644
--- a/src/GF/Grammar/PatternMatch.hs
+++ b/src/GF/Grammar/PatternMatch.hs
@@ -26,6 +26,7 @@ import GF.Grammar.PrGrammar
 import Data.List
 import Control.Monad
 
+import Debug.Trace
 
 matchPattern :: [(Patt,Term)] -> Term -> Err (Term, Substitution)
 matchPattern pts term =