Corefile tweaks