diff --git a/collects/mred/private/seqcontract.ss b/collects/mred/private/seqcontract.ss
index 422e2545..294328c8 100644
--- a/collects/mred/private/seqcontract.ss
+++ b/collects/mred/private/seqcontract.ss
@@ -191,9 +191,11 @@
     (let loop ([l l])
       (cond
         [(null? l) '<<unknown-state>>]
-        [else (if (cadr (car l))
-                  (car (car l))
-                  (loop (cdr l)))])))
+        [else
+	 (let ([test (cadr (car l))])
+	 (if test
+	     (format "~s (~s)" (car (car l)) test)
+	     (loop (cdr l))))])))
 
   (define (sequence-contract-violation dir fmt . args)
     (apply error
@@ -330,8 +332,8 @@ Matthew
        (style-has-changed [(style)] write-lock)]
       
       [flow-lock
-       (and (locked-for-flow?)
-            (not (locked-for-read?)))
+       (and (not (locked-for-read?))
+	    (locked-for-flow?))
 
        (get-text [() (x) (x y) (x y z) (x y z p)] flow-lock)
        (get-character [(start)] flow-lock)