undo notifies watchers. Fixes #12