The Repairing Mantis: Confusing translation

We changed some elements of the English translation that could be confusing.