Cleanup of a couple files in tex primer