diff --git a/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt b/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt
index 79abcee0a5..fb3dce0960 100644
--- a/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt
+++ b/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt
@@ -107,10 +107,9 @@
   (test-flat-contract #e1 #i1.0 'x #:skip-predicate-checks? #t)
   (test-flat-contract +nan.0 +nan.0 +inf.0 #:skip-predicate-checks? #t)
   (test-flat-contract +inf.0 +inf.0 +nan.0 #:skip-predicate-checks? #t)
-  #reader tests/racket/maybe-single
   (when (single-flonum-available?)
-    (test-flat-contract +nan.0 +nan.0 +nan.f #:skip-predicate-checks? #t)
-    (test-flat-contract +nan.f +nan.f +nan.0 #:skip-predicate-checks? #t))
+    (test-flat-contract +nan.0 +nan.0 (real->single-flonum +nan.0) #:skip-predicate-checks? #t)
+    (test-flat-contract (real->single-flonum +nan.0) (real->single-flonum +nan.0) +nan.0 #:skip-predicate-checks? #t))
   (test-flat-contract #rx".x." "axq" "x" #:skip-predicate-checks? #t)
   (test-flat-contract #rx#".x." #"axq" #"x" #:skip-predicate-checks? #t)
   (test-flat-contract #rx".x." #"axq" #"x" #:skip-predicate-checks? #t)