issue 1333: Got rid of warning in TranslatorCode.cc