Spring cleaning of module.php