Was unnecessarily noisy when Production was killed
Was unnecessarily noisy when Production was killed

This might not exactly *fix* #22, but it probably makes this (cosmetic) race
condition less likely.

texttheater/produce,texttheater/produce