diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,16 +1,22 @@
+2021-05-07
+        * Version bump (3.3). (#217)
+        * Fix URL in bug-reports field in cabal file. (#215)
+        * Deprecate unused module Copilot.Core.MakeTags. (#142)
+        * Deprecate unused functions in Copilot.Core.PrettyDot. (#137)
+
 2021-03-05
-        * Version bump (3.2.1). (#31)
-        * Completed the documentation. (#22)
+        * Version bump (3.2.1). (#136)
+        * Completed the documentation. (#145)
 
 2020-12-06 Ivan Perez <ivan.perez@acm.org>
         * Version bump (3.2).
-        * Fixed implementation of tysize for n-dimensional arrays. (#20).
-        * Removed sorting of interpreter output (#19).
-        * Minor documentation fixes (#17, #15).
+        * Fixed implementation of tysize for n-dimensional arrays. (#147).
+        * Removed sorting of interpreter output (#148).
+        * Minor documentation fixes (#149, #151).
         * Credits: @fdedden.
 
 2019-11-22 Ivan Perez <ivan.perez@nianet.org>
         * Version bump (3.1).
-        * Eliminate random modules and generators (#9).
-        * Updated contact information for 'impossible' error (#12).
-        * Implement missing pretty printer for Index operator (#11).
+        * Eliminate random modules and generators (#157).
+        * Updated contact information for 'impossible' error (#154).
+        * Implement missing pretty printer for Index operator (#155).
diff --git a/copilot-core.cabal b/copilot-core.cabal
--- a/copilot-core.cabal
+++ b/copilot-core.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             3.2.1
+version:             3.3
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
@@ -18,7 +18,7 @@
 license-file:        LICENSE
 maintainer:          Frank Dedden <dev@dedden.net>
 homepage:            https://copilot-language.github.io
-bug-reports:         https://github.com/Copilot-Language/copilot-core/issues
+bug-reports:         https://github.com/Copilot-Language/copilot/issues
 stability:           Experimental
 category:            Language, Embedded
 build-type:          Simple
diff --git a/src/Copilot/Core/MakeTags.hs b/src/Copilot/Core/MakeTags.hs
--- a/src/Copilot/Core/MakeTags.hs
+++ b/src/Copilot/Core/MakeTags.hs
@@ -6,7 +6,10 @@
 
 {-# LANGUAGE Safe #-}
 
-module Copilot.Core.MakeTags (makeTags) where
+module Copilot.Core.MakeTags
+    {-# DEPRECATED "This module is deprecated in Copilot 3.3." #-}
+    (makeTags)
+  where
 
 import Copilot.Core.Expr
 import Copilot.Core.Spec
diff --git a/src/Copilot/Core/PrettyDot.hs b/src/Copilot/Core/PrettyDot.hs
--- a/src/Copilot/Core/PrettyDot.hs
+++ b/src/Copilot/Core/PrettyDot.hs
@@ -23,13 +23,6 @@
 mkExtTmpVar :: String -> String
 mkExtTmpVar = ("ext_" ++)
 
-mkExtTmpTag :: String -> Maybe Tag -> String
-mkExtTmpTag name tag = "ext_" ++ name ++ "_" ++ show (tagExtract tag)
-
-tagExtract :: Maybe Tag -> Tag
-tagExtract Nothing = impossible "tagExtract" "copilot-sbv"
-tagExtract (Just tag) = tag
-
 --------------------------------------------------------------------------------
 
 -- | Pretty print a Copilot Expression as a GraphViz graph part.