Small changes to user guide [skip ci]