jimmy miller.
a mistake,in my opinion,Jimmy Miller is a perfectly good name.
if he had been called Gordon Bennett,or John Thomas,or Ivor Stiff it might be understandable