Fix syntax error in catch.t