Update mich5.c