More user guide tweaks