Fixes for init.php