Minor tweak to fabdefs.py.