drh Fix issues 11 and 12 reported by Martin Ettl.

Latest commit 3b3f01b

Nov 8, 2014