core.h: Removed outdated commented-out field