Thanks for the information. Warning to folks like me who don't write things down: it's "Ceylon" and shouldn't be considered the same as other cinnamons, including one called, I think, Saigon cinnamon, whose taste I did not enjoy.