added explicit parameters in catch clauses