Update facts.py

Fixes #7093 --devel