A manufacturing defect results from a product’s not having been manufactured as it had been designed.