Fix Module.php