Patch for https://github.com/tarao/automata/pull/16