Fix minor LaTeX issues
Add bolts stuff