fix SemanticExceptionTranslator