Fix bug of "redex can't be edited"

Fix bug of "redex can't be edited after reactum is removed". Oh yeah!
Undo bug remains.