Small cleanup of the automation lecture