fix bug resolving untyped params spotted by Enrique