what happened to mike?