Should we mandate the type of exception here?