Ctrl-f does not pick up different users with same contact name.
When using ctrl+f, if you have two different users with the same nickname (ex. Jen and Jen), you will only get one of them in the list.
Now the users are listed and you can pick each one, but since the nickname is the same (Jen) one cannot differentiate who is who. May be we could add a tooltip with the user profile or JID