We discussed and think there is not a typo after all.