diff --git a/lol/CHANGES.md b/lol/CHANGES.md
index d4ff495b..a09b54f6 100644
--- a/lol/CHANGES.md
+++ b/lol/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/lol/benchmarks/Main.hs b/lol/benchmarks/Main.hs
index 64076a05..4df870b3 100644
--- a/lol/benchmarks/Main.hs
+++ b/lol/benchmarks/Main.hs
@@ -10,9 +10,7 @@ main = defaultMain =<< sequence [
 {-# LANGUAGE BangPatterns, RecordWildCards #-}
 
 import CycBenches
-import SimpleTensorBenches
 import TensorBenches
-import SimpleUCycBenches
 import UCycBenches
 
 import Criterion.Internal (runAndAnalyseOne)
@@ -76,9 +74,7 @@ main :: IO ()
 main = do
   hSetBuffering stdout NoBuffering -- for better printing of progress
   reports <- mapM (getReports =<<) [
-    simpleTensorBenches,
     tensorBenches,
-    simpleUCycBenches,
     ucycBenches,
     cycBenches
     ]
diff --git a/lol/lol.cabal b/lol/lol.cabal
index dbf6a33e..110e225a 100644
--- a/lol/lol.cabal
+++ b/lol/lol.cabal
@@ -5,7 +5,7 @@ name:                lol
 -- 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