Sema: fix merge conflicts with previous commit

The previous commit and e8813b296bc55a13b534bd9b2a03e1f6af366915 had
merge conflicts which didn't get caught by git.
8326ab7adbAndrew Kelley committed on 3/23/2022, 3:44:32 AMparente81ebc2
1 file changedLine totals unavailable