userguide: a few tiny clarifications