Fix bug in first example, as reported by jonathanj.