Cleaned up the exposition in the user guide