Ports should still be ints in JSON