Fixed up the DefinitelyTyped header.