updating the Reproduce file