usermanual: a bunch of minor corrections and updates