Update translator.h