diff --git a/CHANGES.md b/CHANGES.md
new file mode 100644
index 0000000..95ed955
--- /dev/null
+++ b/CHANGES.md
@@ -0,0 +1,3 @@
+## 2.0 (2019-02-01)
+
+Initial release.
diff --git a/l2.opam b/l2.opam
index 85fad24..27a745c 100644
--- a/l2.opam
+++ b/l2.opam
@@ -5,6 +5,7 @@ maintainer:   "Jack Feser <jack.feser@gmail.com>"
 authors:      "Jack Feser <jack.feser@gmail.com>"
 homepage:     "https://github.com/jfeser/L2"
 bug-reports:  "https://github.com/jfeser/L2/issues"
+doc: "https://jfeser.github.io/L2/"
 license:      "Apache2.0"
 dev-repo:     "https://github.com/jfeser/L2.git"
 build: [["dune" "build" "-p" name "-j" jobs]]
diff --git a/test/v2_engine_tests.ml b/test/v2_engine_tests.ml
index 4259bd2..ff8ebca 100644
--- a/test/v2_engine_tests.ml
+++ b/test/v2_engine_tests.ml
@@ -15,25 +15,6 @@ let top = Specification.top
 let cost_model_tests =
   "cost-model"
   >::: [ test_case (fun ctxt ->
-             let skel_str =
-               "(Apply_h\n\
-               \   ((Id_h (Name append) Top)\n\
-               \    ((Hole_h\n\
-               \      ((id 27) (ctx ()) (type_ (App_t list ((Const_t Num_t))))\n\
-               \       (symbol Expression))\n\
-               \      Top)\n\
-               \     (Hole_h\n\
-               \      ((id 28) (ctx ()) (type_ (App_t list ((Const_t Num_t))))\n\
-               \       (symbol Expression))\n\
-               \      Top)))\n\
-               \   Top)"
-             in
-             let h =
-               Skeleton.t_of_sexp (Sexp.of_string skel_str)
-               |> Hypothesis.of_skeleton cost_model
-             in
-             assert_equal ~ctxt ~printer:Int.to_string 1 (Hypothesis.cost h) )
-       ; test_case (fun ctxt ->
              let h =
                let cm = cost_model in
                let one = Hypothesis.num cm 1 top in