fix following a comment from Franck Pavageau