Fix a bug with host_machine_sfid