tidying, tweaking tex

misc