New variant of press_x now generates an appropriate replacement.