Guessing documentation needs an `@requires` update.