cosmetic indent change, use of BASE_PORT_NUM