Corrige #56.