Minor modification to better show bug occurence