User guide: typos, bad code