Mystery solved. Undo bug has been fixed