Added more info on bug reproduction