Add comments about the IPAddr hack