Minor changes related to docker ports