tiny fix to Dockerfile