Fix reproduction instructions

Created by  Eelco Dolstra  on October 23, 2019
VB6DJ5R4XFWXTVAUT2JKLVZZKD7X3MVBKAMNR2GJLUFJE6BJDBWQC
Change contents