core.c: try to fix