bug fix after merge
bug fix after merge

arifogel/batfish,intentionet/batfish,dhalperi/batfish,batfish/batfish,arifogel/batfish,intentionet/batfish,dhalperi/batfish,batfish/batfish,intentionet/batfish,intentionet/batfish,batfish/batfish,arifogel/batfish,intentionet/batfish,dhalperi/batfish