On Tue, Mar 31, 2015 at 6:55 AM, Jan van Bekkum <jan.vanbekkum at gmail.com> wrote: Not sure about the typo : is it "non-designated" or "non_designated" ? Pieren