Fix things that Allan brought up

Added appendix to the latex manual
Use numbers where appropriate