Forgot to add \lecture{8} to 5.tex
stuff