Fixed small bug in UserInfo.toString()