Added/updated facts in specs.