FinalFormal2 comments on Thinking about maximization and corrigibility