Mistake in the "With pattern matching you can save a few lines:" section, the clause matching nil should probably go first, otherwise the user variable ends up being bound to nil.