fixed input type of product, and added note about type sig