fixed fatal error in exception.php