small fix in Core