! formatting of TPmodules.php