Fix Docker file