NOREF: Forgot the fact definitions file and the new manifest