Add more material about tests not run due to syntax error, and a relevant citation
Update pdf