get_product_price() : PHPDoc fix