Another followup on #6009.

Odd that my earlier make checks did not catch this.