Fix formatting bug in core-spec.