fixup! #1089 rename symbolic->core