minor tweaks on docker install