some small Docker corrections