Fixup a typo in commits fc1701abf0 & ff2cbad56e