Modify michael.txt