Added missing annotation that were used in Lotto