Zanetti had Real Madrid option