small Dockerfile fix