Fix a typo in params.pp