Fix testsdoc.txt