Actually, if you'd bought a zone 1-5 ticket where you first entered the metro, it would have been only € 8.20. No need to use a separate metro ticket as a single zone 1-5 would have allowed the transfer between lines.

Thanks for posting to let us know how it went.