Some minor tweaks to text, removing tmp latex files