slight typo fix for tenet3