Fix passing arguments to the reproduction script

Created by  Eelco Dolstra  on May 10, 2018
CRCZ62JSYTY75N7A6TK4CPW3DQERKP2MA6R624AWN4PXX3GOOQ5QC
Change contents