Can now compile the document.

Needed to make a change to asmthm though. Also committing that at the
top level. Just install it to wherever you prefer installing it.