Could be. I use pure vanilla, but maybe they use vanilla bean.
I’ve always wanted to try making my own extract from vanilla bean. It seems it would be more economical - the prices for real extracts have gone so high!