Fixed formatting of design document

Fixed some issues causing the LaTeX document to not compile.