Bug corr: locks didn't clear on Reset()