Use proper Mudmug ID.