(hotfix) Expose Extensible.