Small bugfix to docker setup script