Update test-plan.tex