usermanual: some minor additions