diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,22 @@
 Changelog for lol project
 ================================
 
+0.5.0.1
+----
+ * Benchmarks now compile.
+
+0.5.0.0
+----
+ * Dramatically improved CT performance using Haskell INLINE/INLINABLE pragmas.
+ * Removed fmapTM from Tensor.
+ * Removed valuePPs, totientPPs, radicalPPs, oddRadicalPPs from Factored.
+ * K_q (i.e. base ring RRq) is now serialized with a discrete modulus.
+ * Fixed a bug in UCyc.divG. The result is `divG` is now split into `divGPow`
+   `divGDec`, and `divGCRTC`.
+ * Added `UCycPC` type synonym to UCyc.
+ * Added data-level interface for Factored.
+ * Added Random instance for FiniteField.
+
 0.4.0.0
 ----
  * Added support for GHC 8.0, also compatible with 7.10.3
diff --git a/benchmarks/Main.hs b/benchmarks/Main.hs
--- a/benchmarks/Main.hs
+++ b/benchmarks/Main.hs
@@ -10,9 +10,7 @@
 {-# LANGUAGE BangPatterns, RecordWildCards #-}
 
 import CycBenches
-import SimpleTensorBenches
 import TensorBenches
-import SimpleUCycBenches
 import UCycBenches
 
 import Criterion.Internal (runAndAnalyseOne)
@@ -76,9 +74,7 @@
 main = do
   hSetBuffering stdout NoBuffering -- for better printing of progress
   reports <- mapM (getReports =<<) [
-    simpleTensorBenches,
     tensorBenches,
-    simpleUCycBenches,
     ucycBenches,
     cycBenches
     ]
diff --git a/lol.cabal b/lol.cabal
--- a/lol.cabal
+++ b/lol.cabal
@@ -5,7 +5,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.5.0.0
+version:             0.5.0.1
 synopsis:            A library for lattice cryptography.
 homepage:            https://github.com/cpeikert/Lol
 Bug-Reports:         https://github.com/cpeikert/Lol/issues
@@ -38,9 +38,9 @@
                      Crypto/Lol/Cyclotomic/Tensor/CTensor/*.cpp
 cabal-version:       >= 1.10
 description:
-    Λ ○ λ (Lol) is a general-purpose library for ring-based lattice cryptography.
+    Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography.
     For a detailed description of interfaces and functionality, see
-    <https://eprint.iacr.org/2015/1134 Λ ○ λ: A Functional Library for Lattice Cryptography>.
+    <https://eprint.iacr.org/2015/1134 Λ ∘ λ: A Functional Library for Lattice Cryptography>.
     For example cryptographic applications, see <https://hackage.haskell.org/package/lol-apps lol-apps>.
 source-repository head
   type: git