Bruno's bug fix, to my copy 'n paste.