Changes: * Fix a Sonnet-related crash * Cosmetic changes * Update the build file so that generated LaTeX documents are easier to work with
