Rename 10-7a.txt to 10-9.txt