Add a missing annotation requires