diff --git a/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
index 3bb79cde..6755a747 100644
--- a/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
@@ -175,6 +175,7 @@ and the @racket[URL] and @racket[Path/Param] types from
 @defmodule/incl[typed/racket/date]
 @defmodule/incl[typed/racket/draw]
 @defmodule/incl[typed/racket/gui]
+@defmodule/incl[typed/racket/gui/no-check]
 @defmodule/incl[typed/racket/random @history[#:added "1.5"]]
 @defmodule/incl[typed/racket/sandbox]
 @defmodule/incl[typed/racket/snip]
diff --git a/typed-racket-more/typed/racket/gui/no-check.rkt b/typed-racket-more/typed/racket/gui/no-check.rkt
new file mode 100644
index 00000000..d4f6f0e1
--- /dev/null
+++ b/typed-racket-more/typed/racket/gui/no-check.rkt
@@ -0,0 +1,5 @@
+#lang typed-racket/minimal
+
+(require racket/require typed/private/no-check-helper
+         (subtract-in typed/racket/gui typed/private/no-check-helper))
+(provide (all-from-out typed/racket/gui typed/private/no-check-helper))
diff --git a/typed-racket-more/typed/racket/gui/no-check/lang/reader.rkt b/typed-racket-more/typed/racket/gui/no-check/lang/reader.rkt
new file mode 100644
index 00000000..fcb716a5
--- /dev/null
+++ b/typed-racket-more/typed/racket/gui/no-check/lang/reader.rkt
@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/racket/gui/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-racket/typed-reader))
diff --git a/typed-racket-test/succeed/standard-features-no-check-gui.rkt b/typed-racket-test/succeed/standard-features-no-check-gui.rkt
new file mode 100644
index 00000000..ab41ef64
--- /dev/null
+++ b/typed-racket-test/succeed/standard-features-no-check-gui.rkt
@@ -0,0 +1,13 @@
+#lang racket
+
+;;; https://github.com/racket/typed-racket/pull/467
+
+;;; due to "instantiate the gui instance one more time" reported by travis-ci.
+;;; This test cheats the continuous integration environment.
+;;; Actually it will typecheck but won't run.
+
+(module cheat-foo typed/racket/gui/no-check
+  (: f (Integer -> Any))
+  (define (f x) (add1 (current-eventspace)))
+ 
+  (lambda ([x : String]) (string-append " " x)))