Fix docker port numbers.