Thank you, it worked.
Since the change was done on the main theme directly and not on the child theme, I suppose I need to repeat it after each theme update, right?