add missing @requires as pointed out by @ahocevar