Shouldn't the exception codes be different for those two?