Cannot change "Undo" text

This is a brilliant little plugin!
One option seems not to work – in Settings there is a box to set the Undo text, but it doesn’t work – “Undo” remains set.

http://wordpress.org/extend/plugins/translate-this-button/