Another minor format adjustment in scripts/add_user.php