Follow-up to 9740d8b: fix small typo