Fix a bug in HobLib migration.