The type of the second parameter for Product-procedures have been added