Constructor functions and extension aggregate

Consider:

http://www.adacore.com/2007/10/01/ada-gem-11/

The constructor function P.Make_T has:

   return (Name => To_Unbounded_String (Name), others => <>);

Shouldn't it be rather:

   return (Ada.Finalization.Limited_Controlled with
      Name => To_Unbounded_String (Name));

?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com