Undo of last push (event namespacing for #333)