Fix restype