some corrections (mostly latex)