auto-halt: Fix a missing fi.