Fixes to dockefile.