small change in dockerfile