(spec) Fix tests (added kernel fact)