Fix `@requires` annotation

Adapt @FWeinb PR to merge in `develop` instead of `master`.