Fix typo -- See #2394
Merge branch 'michel_2394_typo' into next