Renamed parameters in WITH-HUNCHENTOOT-PARAMETERS