Fixes issue #839: Unknown user in Jabber contact list.