Ben: making it easier to specify multiple ports in config