diff --git a/EdisonAPI.cabal b/EdisonAPI.cabal
--- a/EdisonAPI.cabal
+++ b/EdisonAPI.cabal
@@ -1,19 +1,19 @@
 Build-type:     Simple
 Name:           EdisonAPI
-Cabal-Version:  >= 1.22
-Version:        1.3
-License:        OtherLicense
+Cabal-Version:  >= 1.10
+Version:        1.3.1
+License:        MIT
 License-File:   COPYRIGHT
 Author:         Chris Okasaki
 Maintainer:     robdockins AT fastmail DOT fm
-Synopsis:       A library of efficent, purely-functional data structures (API)
+Synopsis:       A library of efficient, purely-functional data structures (API)
 Category:       Data Structures
 Homepage:	http://rwd.rdockins.name/edison/home/
 Stability:      Stable
 Description:
    Edison is a library of purely functional data structures written by
    Chris Okasaki.  It is named after Thomas Alva Edison and for the
-   mnemonic value EDiSon (Efficent Data Structures).
+   mnemonic value EDiSon (Efficient Data Structures).
    Edison provides several families of abstractions, each with
    multiple implementations.  The main abstractions provided by Edison are:
    Sequences such as stacks, queues, and dequeues;
diff --git a/src/Data/Edison.hs b/src/Data/Edison.hs
--- a/src/Data/Edison.hs
+++ b/src/Data/Edison.hs
@@ -143,7 +143,7 @@
 --   information.  Unless otherwise stated, these are amortized time complexities, assuming
 --   persistent usage of the datastructure.  Much of this data comes from:
 --
---   Martin Holters. /Efficent Data Structures in a Lazy Functional Language/.  Master's Thesis.
+--   Martin Holters. /Efficient Data Structures in a Lazy Functional Language/.  Master's Thesis.
 --   Chalmers University of Technology, Sweden. 2003.
 --
 --   /Notes on unsafe functions:/
