Fixed the but.

Automaton reference in product has been nullified when moving back from
constructor.