DOC: Tiny tweaks of user guide