The bug that fixed itself