Minor change to the core file