fix bug in Dockerfile