Fixed bug #1196: Product barcode search does not expect 13th digit on EAN13 type