change typo (cf #52)