renaming variables in class "form_daml.php"