To reset the timing you need to take the belt off and set everything to TDC and then put the belt back on. I dont know how to do it on the aveos, but I believe there are some diagrams on daewootech.com. There may be one here but its been so long since I have been on here that I dont know for sure.