More fixes for instructions on setup of dev env with docker