Minor change to WolframAutomata README.