Better specs for ModelWorker's exception handling