Given a sentence in Tagalog language, translate the sentence to English language keeping the meaning of the original sentence intact.

Example input: Tagalog sentence: Si Roger Federer ang unang manlalaro na nanalo ng 20 Grand Slams
Example output: Roger Federer was the first player to win 20 Grand Slams
Example explanation: The output is an exact translation of the Tagalog sentence and its meaning remains the same.
Q: Tagalog sentence: Sa halip bagaman, siya yari sa likod para sa Venice, nagtataka kung sa kanyang desisyon na bahagi sa kanyang mga formula ay nagkaroon ng isang pagkakamali.
A:
Instead though, he turned back for Venice, wondering if his decision to part with his formula had been a mistake.