diff --git a/debian/README.Debian b/debian/README.Debian
index fa5b58c4b..c32fe8b54 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -43,7 +43,7 @@ Rebuilding Adaptec AIC7xxx/79xx firmware
 You can rebuild the firmware for the Adaptec AIC7xxx/79xx SCSI Adapters. To
 do so you need to set AIC7XXX_BUILD_FIRMWARE/AIC79XX_BUILD_FIRMWARE config
 options.  Note that this requires to have the development packages for
-berkelydb (libdb4.2-dev) installed.
+Berkeley Database (libdb-dev) installed.
 
 Non-free bits removed
 ---------------------
diff --git a/debian/changelog b/debian/changelog
index 9aac3846b..77dbbba89 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,7 @@ linux (3.9-1~experimental.1) UNRELEASED; urgency=low
   * Build-Depend on bc, needed to build kernel/timeconst.h
   * [x86] Enable VMWARE_VMCI, VSOCKETS, VMWARE_VMCI_VSOCKETS as modules
     (Closes: #707676)
+  * README.Debian: Correct reference to Berkeley Database development package
 
  -- Ben Hutchings <ben@decadent.org.uk>  Mon, 06 May 2013 13:17:52 +0100