Add missing @spec