Fix typespec