Update 07-module.txt

Correct the wrong code in Data.Set section.