Small changes after proof-reading of WolframAutomata README.