Fixed bug in UserIdent.equals. Fixes #912