Fix argument type of the RaiseException() function