hopefully fixed symbolset js