On Thu, Dec 8, 2016 at 1:07 PM, Heikki Linnakangas <hlinnaka(at)iki(dot)fi> wrote:> D'oh, you're right, of course. Fixed, thanks for the vigilance!
I've made exactly the same mistake myself before. :-)
-- Peter Geoghegan