diff --git a/CHANGELOG.md b/CHANGELOG.md
index e9604e109..6d08f435a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,10 @@
+Changes since Idris 2 v0.3.0
+----------------------------
+
+REPL/IDE mode changes:
+
+* Added `:search` command, which searches for functions by type
+
 Changes since Idris 2 v0.2.1
 ----------------------------
 
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 461ddf1ff..bc2545e31 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -1,34 +1,41 @@
 Thanks to the following for their help and contributions to Idris 2:
 
+Aaron Lebahn
 Abdelhakim Qbaich
 Alex Gryzlov
 Alex Silva
+alissa42
 Andre Kuhlenschmidt
 André Videla
 Andy Lok
 Anthony Lodi
 Arnaud Bailly
 Brian Wignall
+Bryn Keller
 Christian Rasmussen
 David Smith
+Denis Buzdalov
 Edwin Brady
 Fabián Heredia Montiel
+Felix Springer
 George Pollard
 GhiOm
 Guillaume Allais
 Ilya Rezvov
 Jan de Muijnck-Hughes
 Jeetu
+Joey Eremondi
 Johann Rudloff
 Kamil Shakirov
-Bryn Keller
 Kevin Boulain
 LuoChen
 Marc Petit-Huguenin
 MarcelineVQ
 Marshall Bowers
+Mathew Polzin
 Matthew Wilson
 Matus Tejiscak
+Michael Messer
 Michael Morgan
 Milan Kral
 Molly Miller
@@ -41,7 +48,12 @@ Rohit Grover
 Rui Barreiro
 Ruslan Feizerahmanov
 Simon Chatterjee
-then0rTh
+tensorknower69
 Theo Butler
+Thomas Dziedzic
 Tim Süberkrüb
 Timmy Jose
+then0rTh
+
+Apologies to anyone we've missed - let us know and we'll correct it (or just
+send a PR with the correction).
diff --git a/Release/mkdist.sh b/Release/mkdist.sh
index 98d07a521..d7c7473fc 100644
--- a/Release/mkdist.sh
+++ b/Release/mkdist.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 if [ $# -eq 0 ]
   then
     echo "No version number supplied"