Quick fix for userMan::$user_name undefined