minor tweaks to docker article