diff --git a/build-infer.sh b/build-infer.sh
index 2b9b089fd..c7394e6ef 100755
--- a/build-infer.sh
+++ b/build-infer.sh
@@ -105,7 +105,7 @@ check_installed opam
 opam init --no-setup --yes > /dev/null || \
   opam init --no-setup --yes --comp=4.02.3
 
-eval $(opam config env)
+eval $(SHELL=bash opam config env)
 
 echo "preparing build... "
 if [ ! -f .release ]; then
diff --git a/docker/README.md b/docker/README.md
index 7001df173..94f2a7a76 100644
--- a/docker/README.md
+++ b/docker/README.md
@@ -19,6 +19,7 @@ installation. See the instructions for
 This docker file will use the latest
 [released](https://github.com/facebook/infer/releases) version of
 Infer. 
+
 1. Get docker running, e.g. using Docker Quickstart Terminal.
 2. cd to the directory `docker/`,
 3. Build Infer in docker container and try on an example: