buxfix in host.fingerprint()