Fixed error in two fact descriptions