tweaks to Dockerfile and docs