add precision in developers/NAT documentation