Fix validate/3 typespec