Fixed documentation for default value of portAllocationRangeStart