made definition of the tuple more specific, for the final version