Fix arity of `@spec`