r4318 bugfix: undefined index in renderIPv4SpaceRecords