Fixed error in fact definition