diff --git a/CHANGES b/CHANGES
index a45ec7e..d2bb2ad 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,6 +2,11 @@
  This file describes changes in the cvec package
 ==================================================
 
+2.5.1 (2014-04-04)
+  - Previous release had an invalid release date in
+    PackageInfo.g (2014-04-31 instead of 2014-03-31).
+  - Merge HISTORY and CHANGES files.
+
 2.5 (2014-03-31)
   - Add methods for \^ for cvecs and Frobenius automorphisms
   - Add methods for \^ for cmats and Frobenius automorphisms
diff --git a/PackageInfo.g b/PackageInfo.g
index 08d5e84..fc526a5 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -9,8 +9,8 @@ SetPackageInfo( rec(
 
 PackageName := "cvec",
 Subtitle := "Compact vectors over finite fields",
-Version := "2.5",
-Date := "31/03/2014", # dd/mm/yyyy format
+Version := "2.5.1",
+Date := "04/04/2014", # dd/mm/yyyy format
 
 ##  Information about authors and maintainers.
 Persons := [
diff --git a/VERSION b/VERSION
index 68151b2..4fd0fe3 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.5
\ No newline at end of file
+2.5.1
\ No newline at end of file