diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+2023-11-07
+        * Version bump (3.17). (#466)
+
+2023-11-05
+        * Replace uses of deprecated functions. (#457)
+
 2023-09-07
         * Version bump (3.16.1). (#455)
 
diff --git a/copilot-prettyprinter.cabal b/copilot-prettyprinter.cabal
--- a/copilot-prettyprinter.cabal
+++ b/copilot-prettyprinter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             3.16.1
+version:             3.17
 synopsis:            A prettyprinter of Copilot Specifications.
 description:
   A prettyprinter of Copilot specifications.
@@ -45,7 +45,7 @@
     base   >= 4.9 && < 5,
     pretty >= 1.0 && < 1.2,
 
-    copilot-core >= 3.16.1 && < 3.17
+    copilot-core >= 3.17 && < 3.18
 
   exposed-modules:
 
diff --git a/src/Copilot/PrettyPrint.hs b/src/Copilot/PrettyPrint.hs
--- a/src/Copilot/PrettyPrint.hs
+++ b/src/Copilot/PrettyPrint.hs
@@ -71,7 +71,7 @@
   Floor _                 -> ppPrefix "floor"
   BwNot _                 -> ppPrefix "~"
   Cast _ _                -> ppPrefix "(cast)"
-  GetField (Struct _) _ f -> \e -> ppInfix "#" e (text $ accessorname f)
+  GetField (Struct _) _ f -> \e -> ppInfix "#" e (text $ accessorName f)
   GetField _ _ _          -> impossible "ppOp1" "Copilot.PrettyPrint"
 
 -- | Pretty-print a binary operation.