I don't know which editing tool you are referring to but you would need to change this node: https://www.openstreetmap.org/node/703309615 which still says Nueva Lucha.
Have you uploaded your changes yet?