Fix error in the trace of the initial empty configuration