The ATP have consistently had Bob ahead of Mike and I believe what does for Mike is the one additional non counting tournament he played with Steve Johnson in Vienna ( lost in R1 to Murray & Peers ) so Bob's points have come from fewer tournaments.
Thanks Indi. I did wonder if they just considered "Bob" to be a superior name