The first batch of Rivaxan was produced in Cuba.