diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4acb65d..52a1f9e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## 0.3.1
+
+* Update syntax to followed up Idirs 0.99.1 [@be5invis](https://github.com/be5invis)
+* Fix typo for the title of `idris.docs-for` command [@FinnNk](https://github.com/FinnNk)
+
 ## 0.3.0
 
 * Typechecking
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
new file mode 100644
index 0000000..239b46b
--- /dev/null
+++ b/CONTRIBUTORS.md
@@ -0,0 +1,5 @@
+Thanks to the following for their help and contributions:
+
+* [@bascott](https://github.com/bascott)
+* [@be5invis](https://github.com/be5invis)
+* [@FinnNk](https://github.com/FinnNk)
diff --git a/package.json b/package.json
index 159a691..5509e87 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "Idris",
   "description": "Idris Language Support for Visual Studio Code",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "publisher": "zjhmale",
   "engines": {
     "vscode": "^1.8.0"