small update to Dockerfile