diff --git a/collects/tests/typed-scheme/fail/log-not-complex.rkt b/collects/tests/typed-scheme/fail/log-not-complex.rkt
new file mode 100644
index 0000000000..450a6596c4
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/log-not-complex.rkt
@@ -0,0 +1,5 @@
+#;
+(exn-pred 1)
+#lang typed/scheme
+
+(ann (log 2.0) Inexact-Complex)
diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt
new file mode 100644
index 0000000000..e397660ea0
--- /dev/null
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt
@@ -0,0 +1,9 @@
+#;
+(
+0.6931471805599453
+)
+
+#lang typed/scheme
+#:optimize
+
+(real-part (log 2.0))
diff --git a/collects/typed-scheme/types/subtype.rkt b/collects/typed-scheme/types/subtype.rkt
index 56e151e1b8..33f0a82eee 100644
--- a/collects/typed-scheme/types/subtype.rkt
+++ b/collects/typed-scheme/types/subtype.rkt
@@ -263,7 +263,6 @@
 	      [((== -Fixnum =t) (Base: 'Integer _)) A0]
 
               [((Base: 'Nonnegative-Flonum _) (Base: 'Flonum _)) A0]
-              [((Base: 'Nonnegative-Flonum _) (Base: 'InexactComplex _)) A0]
               [((Base: 'Nonnegative-Flonum _) (Base: 'Number _)) A0]
 
               [((Base: 'InexactComplex _) (Base: 'Number _)) A0]