Fix bugs in Dockerfile configuration