Léo Dana comments on Improvement on MIRI’s Corrigibility