Fix a long-standing typo