Yes, you are absolutely right. It is “Bobby”, not “Bob. Slip of my memory.
Well, we can’t remember everything!