More updates to the Users' Guide