usermanual: minor changes