diff --git a/DCLabel/Core.hs b/DCLabel/Core.hs
--- a/DCLabel/Core.hs
+++ b/DCLabel/Core.hs
@@ -1,6 +1,9 @@
 {-# LANGUAGE CPP #-}
-#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)
+#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702) && (__GLASGOW_HASKELL__ < 704)
 {-# LANGUAGE SafeImports #-}
+#endif
+#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 704)
+{-# LANGUAGE Unsafe #-}
 #endif
 {-# LANGUAGE TypeSynonymInstances #-}
 {-# LANGUAGE FlexibleInstances #-}
diff --git a/DCLabel/PrettyShow.hs b/DCLabel/PrettyShow.hs
--- a/DCLabel/PrettyShow.hs
+++ b/DCLabel/PrettyShow.hs
@@ -10,12 +10,7 @@
 import DCLabel.Core
 import DCLabel.Secrecy
 import DCLabel.Integrity
-#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)
--- import safe Text.PrettyPrint
 import Text.PrettyPrint
-#else
-import Text.PrettyPrint
-#endif
 
 
 
diff --git a/DCLabel/TCB.hs b/DCLabel/TCB.hs
--- a/DCLabel/TCB.hs
+++ b/DCLabel/TCB.hs
@@ -14,12 +14,3 @@
 
 import DCLabel.Core
 import DCLabel.NanoEDSL
-
-
-
-
-
-
-
-
-
diff --git a/dclabel.cabal b/dclabel.cabal
--- a/dclabel.cabal
+++ b/dclabel.cabal
@@ -1,5 +1,5 @@
 Name:           dclabel
-Version:        0.0.4
+Version:        0.0.5
 build-type:     Simple
 License:        BSD3
 License-File:   LICENSE