Pythomaton minor update.