* Fixed bug that prevents to use Undo (introduced with a recent commit).