Small changes in dockerfile