added direct references to hostsfile-formula states