Minor fixes (typos, latex, ...)