Fix a bug in CatchClause.cpp