Fix accidental copypasta errata.