Revert "removed comments in fact.c"

This reverts commit 5a889172c7c3d2ede14ccc93d01e5f668ab564ac.