Small bugfix
Merge branch 'master' of https://github.com/mpmilano/netkat-verify
Hacking with Matthew