Fix up examples in CORE_FORMAT.md