diff --git a/copilot-language.cabal b/copilot-language.cabal
--- a/copilot-language.cabal
+++ b/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.0
+version:             3.0.1
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -40,8 +40,8 @@
                , mtl             >= 2.0 && < 3
                , ghc-prim        >= 0.3 && < 0.6
 
-               , copilot-core    >= 3.0 && < 3.1
-               , copilot-theorem >= 3.0 && < 3.1
+               , copilot-core    >= 3.0.1 && < 3.1
+               , copilot-theorem >= 3.0   && < 3.1
 
   exposed-modules: Copilot
                  , Copilot.Language
diff --git a/src/Copilot/Language/Operators/Struct.hs b/src/Copilot/Language/Operators/Struct.hs
--- a/src/Copilot/Language/Operators/Struct.hs
+++ b/src/Copilot/Language/Operators/Struct.hs
@@ -14,6 +14,6 @@
 
 (#) :: (KnownSymbol s, Typed t, Typed a, Struct a)
       => Stream a -> (a -> Field s t) -> Stream t
-(#) s f = Op1 (GetField typeOf typeOf (accessorname f)) s
+(#) s f = Op1 (GetField typeOf typeOf f) s
 
 --------------------------------------------------------------------------------