Should we check the type of the exception?