Bugfix on fact