Some small editing corrections in the manual