correction to default.php