Baked Elephant Garlic turned green?!?

I baked a bulb of elephant garlic in foil (no oil according to the instructions of an Italian restaurant owner) for garlic bread, and the cloves turned green. Is it okay? It tastes fine.