Fixing a couple user-guide doc issues