Some latex cleanup, minor edits, etc