Minor change to TailDuplication.cpp to turn on normalization when removing successor