Forgot some minor changes. Not sure if init.php is needed, when index.php can do all initialisation