userGuide: various small changes