Fix a typo (introduced by me in a fixup) in b8b9352, which causes test fails