Fixed a tiny typo in fact-types-specification