userGuide: a few small changes