diff --git a/src/Graphics/Vty/Input/Terminfo/ANSIVT.hs b/src/Graphics/Vty/Input/Terminfo/ANSIVT.hs
index 74dc198..7d9a5b1 100644
--- a/src/Graphics/Vty/Input/Terminfo/ANSIVT.hs
+++ b/src/Graphics/Vty/Input/Terminfo/ANSIVT.hs
@@ -50,13 +50,11 @@ navKeys3 =
 
 -- | encoding for shift plus function keys
 -- 
--- TODO: I suspect this should be generated by interpretting the terminals use of meta mode:
--- "If the terminal has a ``meta key'' which acts as a shift key, setting the 8th bit of any
--- character transmitted, this fact can be indicated with  km.   Other- wise,  software  will
--- assume that the 8th bit is parity and it will usually be cleared.  If strings exist to turn this
--- ``meta mode'' on and off, they can be given as smm and rmm."
+-- According to 
 --
--- That is more complex than below. I cannot fault the original author for just hard coding a table.
+--  * http://aperiodic.net/phil/archives/Geekery/term-function-keys.html
+--
+-- This encoding depends on the terminal.
 functionKeys1 :: ClassifyTable
 functionKeys1 =
     let f ff nrs m = [ ("\ESC["++show n++"~",EvKey (KFun $ n-(nrs!!0)+ff) m) | n <- nrs ] in
diff --git a/test/Verify.hs b/test/Verify.hs
index c28d557..710051e 100644
--- a/test/Verify.hs
+++ b/test/Verify.hs
@@ -53,7 +53,7 @@ verify :: Testable t => String -> t -> Test
 verify testName p = Test $ TestInstance
   { name = testName
   , run = do
-    qcResult <- quickCheckResult p
+    qcResult <- quickCheckWithResult (stdArgs {chatty = False}) p
     case qcResult of
         QC.Success {..} -> return $ Finished TS.Pass
         QC.Failure {numShrinks,reason} -> return $ Finished
diff --git a/test/VerifyOutput.hs b/test/VerifyOutput.hs
index af8f446..8774c80 100644
--- a/test/VerifyOutput.hs
+++ b/test/VerifyOutput.hs
@@ -19,7 +19,7 @@ import System.IO
 tests :: IO [Test]
 tests = concat <$> forM terminalsOfInterest (\termName -> do
     -- check if that terminfo exists
-    putStrLn $ "testing end to end for terminal: " ++ termName
+    -- putStrLn $ "testing end to end for terminal: " ++ termName
     mti <- try $ Terminfo.setupTerm termName
     case mti of
         Left (_ :: SomeException) -> return []
@@ -47,7 +47,7 @@ smokeTestTerm :: String -> Image -> IO Result
 smokeTestTerm termName i = do
     nullOut <- openFile "/dev/null" WriteMode
     t <- outputForNameAndIO termName nullOut
-    putStrLn $ "context color count: " ++ show (contextColorCount t)
+    -- putStrLn $ "context color count: " ++ show (contextColorCount t)
     reserveDisplay t
     dc <- displayContext t (100,100)
     -- always show the cursor to produce tests for terminals with no cursor support.