Fix ``TranslationOptions`` printing broken in the last commit.