- Fix another bug in the dockerfile.