Remove reference to removed file misc.php