usermanual: a few changes