core.c: fix