Fix SVACE error in core.h