Commented out stuff in design.tex, builds now