Fix a bug in fact discovery