Fix benallard's comment