Wilfried Weissmann Wed, 21 Feb 2018 08:35:35 -0800
Hi, OK. I will fix that and send a new patch.
Greetings, Wilfried Weissmann