the example is ordered (the 2 bugs are fixed)