Minor additions inside error_handling.php