[quote=@Zarkun]
<Snipped quote by Silver Fox>

You need to chance Michael to Mike, then it works.
[/quote]

Not really. Mike can be a nickname for Michael. 
So it works either way.