try to fixup whitespace damage
try to fixup whitespace damage

this occured in 61411d7dcfd357f710dd679ee5620fa60df82416

Yubico/yubikey-personalization,eworm-de/yubikey-personalization,Yubico/yubikey-personalization,eworm-de/yubikey-personalization,eworm-de/yubikey-personalization