small tweak to Dockerfile