Fixed spec for factorial 8, added to 7