Correct link to the bugtracker in exception.php