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