fix an apparently long standing typo