------------------------------------------------------------------------------------------

Minor updates to the Dockerfile.

------------------------------------------------------------------------------------------