Fixes in method 'init' of PASUser.php