Minor fix in ForwardTranslator.hpp