fix typing error: Port  40000 -> 4000